﻿<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>VOLT 2013 @ STAF - Program</title>
<meta name="keywords" content="model transformation, verification, model-driven engineering, MDE, validation, automatic test generation, UML, model-based testing, model transformation testing"/>
<link rel="shortcut icon" href="favicon.gif" type="image/x-icon">
<link rel="icon" href="favicon.gif" type="image/x-icon">
<link href="data/volt.css" rel="stylesheet" media="screen">

<script type="text/javascript">

  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-3117335-10']);
  _gaq.push(['_gat._anonymizeIp']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  })();

</script>

</head>
<body>
<div align="center">
  <table class="boundary" cellpadding="0" border="0" width="750">
    <!-- Banner -->
    <tbody><tr>
      <td colspan="2">
        <img src="data/volt13banner.png" alt="VOLT 2013" width="100%">
      </td>
    </tr>

    <!-- Content -->
    <tr>
      <!-- Menu -->
      <td class="topAligned" width="23%">
        <p class="sideMenu"><a class="ClassA" href="index.html">Home</a></p>
        <p class="sideMenu"><a class="ClassA" href="program.html">Program</a></p>
        <p class="sideMenu"><a class="ClassA" href="calls.html">Call For Papers</a></p>
        <p class="sideMenu"><a class="ClassA" href="submission.html">Submission</a></p>
        <p class="sideMenu"><a class="ClassA" href="organizers.html">Committees</a></p>
        <p class="sideMenu"><a class="ClassA" href="importantDates.html">Important Dates</a></p>
        <p class="sideMenu"><a class="ClassA" href="http://www.model-based-testing.de/volt12/">Previous Edition</a></p>
        <p class="sideMenu"><a class="ClassA" href="http://stafconferences.info/">STAF 2013</a></p>
        <p class="sideMenu"><a class="ClassA" href="contacts.html">Contacts</a></p>

        <p class="contents">
        <hr/>
        <h2>News</h2>
        <center>
			-- 07.06.2013 --<br/>
			We are proud to announce the VOLT'13 keynote speaker: <a href="http://home.mit.bme.hu/~varro/">D&aacute;niel Varr&oacute;</a><br/><br/>
        </center>
		<center>
			-- 05.06.2013 --<br/>
			Unfortunately, our announced keynote speaker <a href="http://www.hpi.uni-potsdam.de/personen/professoren/holger_giese.html?L=1"> Holger Giese</a> is not able to attend VOLT after all.<br/><br/>
        </center>
        <center>
			-- 14.05.2013 --<br/>
			We are proud to announce the VOLT'13 keynote speaker: <a href="http://www.hpi.uni-potsdam.de/personen/professoren/holger_giese.html?L=1"> Holger Giese</a><br/><br/>
        </center>
		<!--
        <center>
			   -- 24.04.2013 --<br/>
		       Notification to Authors extended to May 13, 2013, due to previous extensions<br/><br/>
        </center>

        <center>
			   -- 12.04.2013 --<br/>
		       Submission deadline extended to April 15, 2013<br/><br/>
        </center>

        <center>
			 -- 12.04.2013 --<br/>
		    Page limit extended: 1 extra page for references<br/><br/>
        </center>
		
        <center>
	   -- 07.03.2013 --<br/>
       VOLT 2013 website is online<br/>
        </center>
		-->
        </p>


      <!-- Body content -->
      <td class="contents" width="77%">
	  <h1> VOLT Program </h1>
	  <p>

      <center>

	  <h2>Session 1 09:00 - 10:15</h2>
	   Welcome & Introduction 09:00 - 09:30<br/>
	   <a href="data/welcome-and-intro.pdf">slides</a><br/><br/>
	   
	   <em>A Classification of Model Checking-Based Verification Approaches for Software Models</em><br/>
	   Sebastian Gabmeyer, Petra Brosch and Martina Seidl 09:30 - 10:00<br/>
	   <a href="data/submissions/GBS.pdf">paper</a> <a href="data/submissions/GBS-Presentation.pdf">slides</a><br/><br/>
	   
	   Brainstorming* 10:00 - 10:15<br/><br/>

	  <h2>Morning Break 10:15-10:45</h2><br/>

	  <h2>Session 2 10:45 - 12:15</h2>
		<em>Model Transformations to Verify Model Transformations</em> 10:45 - 11:15<br/>
		Levi Lucio and Hans Vangheluwe <br/>
		<a href="data/submissions/LV.pdf">paper</a><br/><br/> 
		
		Brainstorming 11:15 - 11:25 <br/><br/>
		
		<em>Validating Transformations for Semantic Anchoring</em> 11:25 - 11:40<br/>
		Tihamer Levendovszky, István Madari and Janos Sztipanovits<br/>
		<a href="data/submissions/LMS.txt">abstract</a> <a href="data/submissions/LMS-Presentation.pdf">slides</a><br/><br/>
	    
		Brainstorming 11:40 - 11:50 <br/><br/>
		
		<em>On the Realization of TractsTool</em> 11:50 - 12:05<br/>
		L. Burgue&ntilde;o, M. Wimmer, J. Troya, A. Vallecillo<br/>
		<a href="data/submissions/BWTV.txt">abstract</a> <a href="data/submissions/BWTV-Presentation.pdf">slides</a><br/><br/>
		
		Brainstorming & Summary 12:05 - 12:15<br/><br/>

	  <h2>Lunch 12:15 - 14:00</h2><br/>

	  <h2>Session 3 14:00 - 15:30</h2>
		Keynote by <a href="http://home.mit.bme.hu/~varro/">D&aacute;niel Varr&oacute;</a> 14:00 - 15:00</br>
		<em>V&V challenges for model queries and transformations in design tools for avionics</em></br></br>
		
		Building of working groups & Initiating discussions 15:00 - 15:30<br/>
		<a href="data/topics.pdf">slides</a></br><br/>

	  <h2>Afternoon Break 15:30 - 16:00</h2><br/>

	  <h2>Session 4 16:00 - 18:00</h2>
	  Discussions in working groups 16:00 - 17:00<br/><br/>
	  
	  Presentation of results of working groups & Closure 17:00 - 18:00 <br/><br/>

	  * The idea of the brainstorming time slots in between presentations is to open the discussion from the presentation topic to more general related questions in the scope of VOLT.  The goal of these brainstorming phases is to gradually refine a list of interesting discussion topics (presented in the introduction) that can be further developed by dedicated working groups in the afternoon session.
	  
	  <!--<h1>Long Presentations</h1>
	  <em>Model Transformations to Verify Model Transformations</em><br/>Levi Lucio and Hans Vangheluwe <br/><br/>
	  <em>A Classification of Software Model Verification Approaches</em><br/>Sebastian Gabmeyer, Petra Brosch and Martina Seidl

	  <h1>Short Presentations</h1>
	  <em>Validating Transformations for Semantic Anchoring</em><br/>Tihamer Levendovszky, István Madari and Janos Sztipanovits <br/><br/>
	  <em>On the Realization of TractsTool</em><br/> L. Burgue&ntilde;o, M. Wimmer, J. Troya, A. Vallecillo<br/>-->
      </center>

	  </p>
      </td>
    </tr>

    </tbody>
    </table>
    </div>
  </body>
</html>